首页> 外文OA文献 >Comparisons and computation of well-founded semantics for disjunctive logic programs

【2h】

Comparisons and computation of well-founded semantics for disjunctive logic programs

机译：对析取逻辑程序的有根据的语义进行比较和计算

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Kewen Wang;
展开▼
作者单位

展开▼
年度 2005
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Comparisons and Computation of Well-Founded Semantics for Disjunctive Logic Programs [J] . KEWEN WANG, LIZHU ZHOU ACM transactions on computational logic . 2005,第2期

机译：析取逻辑程序的可靠语义比较和计算
2. Extending Well-Founded Semantics with Clark’s Completion for Disjunctive Logic Programs [J] . Juan Carlos Nieves, Mauricio Osorio Scientific programming . 2018,第1期

机译：借助Clark完成的析取逻辑程序，扩展了完善的语义学
3. Optimal models of disjunctive logic programs: semantics, complexity, and computation [J] . Leone N., Scarcello F., Subrahmanian V.S. IEEE Transactions on Knowledge and Data Engineering . 2004,第4期

机译：析取逻辑程序的最佳模型：语义，复杂性和计算
4. A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs [C] . Kewen Wang Logic Programming and Nonmonotonic Reasoning . 2001

机译：析取逻辑程序的有力语义学比较
5. A study of the well-founded and stable logic programming semantics. [D] . Seitzer, Jennifer. 1997

机译：对可靠且稳定的逻辑编程语义的研究。
6. Disability equivalencies: a logic system for comparison of alternate health programs. [O] . D R Meyer 1971

机译：残疾当量：用于比较其他健康计划的逻辑系统。
7. Comparisons and Computation of Well-founded Semantics for Disjunctive Logic Programs [O] . Wang, Kewen, Zhou, Lizhu 2003

机译：析取语的有根义语义的比较与计算逻辑程序

Comparisons and computation of well-founded semantics for disjunctive logic programs

著录项

引文网络

相似文献

相关主题

期刊订阅